ln(cotx) implicit differentation